Resolution Refutation In Fol